import __00SetRelation as sr
import _00SetFunc as ss 

#将一种划分P构建为等价关系R
X=range(13)
P={(0,1,2),(3,4,5),(6,7,8),(9,10,11,12)}
R=sr.partition2equivalent(P)
tv=sr.isequivalent(X,R)
print(tv)
ss.drawgraph(R)
Qs=sr.quotientset(X,R)
print("Qs",Qs)
tv=Qs==P
print("Qs==P",tv)